(read_char): After read_char_minibuf_menu_prompt,

don't just return; jump to non_reread.

diff --git a/src/keyboard.c b/src/keyboard.c
index e916bc7ee09fe05057928264042a1150ffc0a70b..2209dbeeee05e5553e7dc0cdfa644432c4934f23 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -1582,7 +1582,7 @@ read_char (commandflag, nmaps, maps, prev_event, used_mouse_menu)
     {
       c = read_char_minibuf_menu_prompt (commandflag, nmaps, maps);
       if (! NILP (c))
-       return c;
+       goto non_reread;
     }
 
   /* If in middle of key sequence and minibuffer not active,